Компьютерные термины - verification condition generation
Verification condition generation
verification condition generation
генерирование условий верификации ( при доказательстве правильности программ )
Рейтинг статьи:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 3315 | |
2 | 3139 | |
3 | 2994 | |
4 | 2853 | |
5 | 2694 | |
6 | 2690 | |
7 | 2544 | |
8 | 2224 | |
9 | 2081 | |
10 | 2078 | |
11 | 2040 | |
12 | 2034 | |
13 | 1984 | |
14 | 1892 | |
15 | 1831 | |
16 | 1827 | |
17 | 1757 | |
18 | 1754 | |
19 | 1747 | |
20 | 1744 |